Canonical equational proofs
- Författare
- Leo Bachmair
- (Leo Bachmair.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Birkhäuser | 1991 | Tyskland, Basel, Boston | x, 135 sidor. ill. |